Formula Layout Formula Layout
نویسندگان
چکیده
Both the quality of the results of TEX s formula layout algorithm and the complexity of its description in the TEXbook are hard to beat The algorithm is verbally described as an imperative program with very complex control ow and complicated manipulations of the data structures representing formulae In a forthcoming textbook we describe TEX s formula layout algorithm as a functional program transforming mlist terms into box terms This transformation is given in this paper
منابع مشابه
A Functional Description of TEX's Formula Layout
While the quality of the results of T E X's mathematical formula layout algorithm is convincing, its original description is hard to understand since it is presented as an imperative program with complex control ow and destructive manipulations of the data structures representing formulae. In this paper, we present a re-implementation of T E X's formula layout algorithm in the functional langua...
متن کاملOn Three-Dimensional Layout of Interconnection Networks (Extended Abstract) *
Abs t r ac t . In this paper we deal with the layout of interconnection networks on three-dimensional grids. In particular, in the first, part we prove a general formula for calculating an exact value for the lower bound on the volume. Then we introduce the new notion of k-3D double channel routing and we use it to exhibit an optimal three-dimensional layout for butterfly networks. Finally, we ...
متن کاملInvestigating Layout Complexity
This paper presents work-in-progress in assessing the usefulness of a layout complexity metric in evaluating the usability of different screen designs. The metric is based on the Shannon formula from communication theory. Initially the metric was applied to thirteen Windows applications where thirty subjects were asked to rank screens on the basis of “good” design. A significant negative correl...
متن کاملOptimal design problems for two-phase conducting composites with weakly discontinuous objective functionals
We consider the relatively simple but non-trivial example of an optimal design problem with a weakly discontinuous objective functional. The objective functional is quadratic and was suggested by Tartar in his “Remarks on optimal design” paper. We analyze a problem of finding a layout of a conducting composite such that the fields in both phases provide least squares fit to a given field. The m...
متن کاملAn Intelligent Weighing System based on Editable Formula and Alterable Resolution
This paper is to design an intelligent weighing system to solve the problems in enterprises, such as incompatibility with hardware and software environment in different enterprise scenarios, the fixed interface layout and the dilemma that a single-way computational formulas can not fit the workflow of complementation of weighing system flexibly. A self-defining formula method is proposed to mee...
متن کامل